$\forall$$s$:Mon, $a$, $b$:$\mid$$s$$\mid$. ($\uparrow$($a$ =$_{b}$ $b$)) $\Leftarrow\!\Rightarrow$ ($a$ = $b$)